Details

Experimental Details

Materials. The PEDOT:PSS (Clevios PH 1000, 1 wt%) aqueous dispersion was purchased from Heraeus. Waterborne polyurethane (PU) was provided by DSM (China). Poly(dimethylsiloxane) (PDMS, Sylgard 184, Dow Corning) prepolymer was prepared by mixing base silicone gel with a curing agent in a 10:1 weight ratio. Dimethyl sulfoxide (DMSO) was purchased from Aladdin Chemistry Co., Ltd., Shanghai, China....

Description Details

Arguments Details

dyebias.application.subset Return a subset of reporters that can be dye bias-corrected reasonably well Description Convenience function returning a subset of reporters that can be expected to be corrected reasonably well. Often, the logical AND of this set and that of maW(data.norm) == 1.0 is used. The resulting subset is passed as the application.subset-argument to dyebias.apply.correction. Ar...

Bibliographical Details

I describe the challenges involved in designing and evaluating high assurance, verifiable voting systems. I describe the Pret a Voter scheme that provides voterverifiablity with minimal trust in officials, software etc. I also describe a number of threats against voting schemes and the extent to which they apply to the basic Pret a Voter scheme. Some enhancements to the scheme designed to count...

Project Details

Program Slicing is a technique of identifying parts (slice) of a program that may influence or be influenced by a given set of program points (slice criteria). This technique has been extensively applied to program understanding. In the Bandera project [7], the application of program slicing was considered to reduce the size of the model extracted from concurrent Java programs for the purpose o...